Model theory - PDFSEARCH.IO - Document Search Engine

Model theory
Results: 13417

#	Item
651	Introduction to Tree Logics Pierre Genevès CNRS (slides mostly based on the ones by W. Martens and T. Schwentick) University of Grenoble Alpes, 2015–2016 Add to Reading List Source URL: tyrex.inria.fr Language: English - Date: 2016-01-19 11:56:00 Model theory Mathematical logic Predicate logic First-order logic FO Second-order logic Structure Term Logic programming
652	DOC Document Add to Reading List Source URL: www.keith-simmons.com Language: English - Date: 2012-09-15 13:15:32 Theories of truth Philosophical logic Non-classical logic Semantics Model theory Liar paradox Dialetheism Interpretation Truth function Truth Revision theory Trivialism
653	Computing Reviews, the leading online review service for computing literature. Search An introduction to agentbased modeling : modeling natural, social, and Add to Reading List Source URL: www.intro-to-abm.com Language: English - Date: 2016-02-17 21:11:38 Simulation Complex systems theory Systems Multi-agent systems Scientific modeling NetLogo Agent-based model Complex systems Logo Conceptual model Macroeconomic model Agent-based social simulation
654	piotr ka z´ mierczak A G E N T S T H AT P L AY B Y T H E R U L E S Piotr Ka´zmierczak: Agents that Play by the Rules, Using Social Laws for Coordination of Multiagent Systems, © October 2014 Add to Reading List Source URL: piotrkazmierczak.com Language: English - Date: 2016-06-02 10:18:50 Artificial intelligence Multi-agent systems Formal sciences Simulation Alternating-time Temporal Logic Modal logic Norm Temporal logic Game theory International Conference on Autonomous Agents and Multiagent Systems Logic Agent-based model
655	LinkViews: An Integration Framework for Relational and Stream Systems Yannis Sotiropoulos, Damianos Chatziantoniou Department of Management Science & Technology Athens University of Economics and Business (AUEB) Add to Reading List Source URL: birte2013.cs.aau.dk Language: English - Date: 2013-09-02 16:38:10 Relational database management systems Relational model Database theory Database Relational database Sqlstream StreamBase Systems SQL Book:Non-Relational Databases
656	ERROR BOUND FOR NUMERICAL METHODS FOR THE ROF IMAGE SMOOTHING MODEL A Dissertation Submitted to the Faculty of Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2012-11-13 14:23:05 Partial differential equations Operator theory Calculus of variations
657	Heavy Fermions and the Kondo Lattice: A 21st Century Perspective Add to Reading List Source URL: www.cond-mat.de Language: English - Date: 2015-09-07 08:29:43 Condensed matter physics Kondo effect Kondo insulator Heavy fermion material Kondo model Fermi liquid theory Electron Samarium hexaboride Electrical resistivity and conductivity Ferromagnetism Paramagnetism Unconventional superconductor
658	mutual_structure_filter_final2.dvi Add to Reading List Source URL: xiaoyongshen.me Language: English - Date: 2016-08-15 22:44:00 Filter theory Linear filters Signal processing filter Analog circuits Electronic design Bilateral filter Filter Electronic filter Composite image filter Image fusion RGB color model
659	GUEST EDITORIAL Bruce I. Jacobs and Kenneth N. Levy, CFA Principals Jacobs Levy Equity Management Florham Park, New Jersey Add to Reading List Source URL: www.jlem.com Language: English - Date: 2015-01-07 10:46:34 Investment Mathematical finance Arbitrage pricing theory Smart beta Capital asset pricing model Investment management Beta Kenneth French Investment strategy Alpha Efficient-market hypothesis Rebalancing investments
660	Description Logics for Shape Analysis Lilia Georgieva School of Mathematical and Computer Sciences Heriot-Watt University, Edinburgh, UK Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-09-09 08:46:00 Non-classical logic Edsger W. Dijkstra Predicate transformer semantics FO First-order logic Null Second-order logic Model theory Free logic Transitive closure

UPDATE